Representation of one-one degrees by decision problems for system functions
نویسندگان
چکیده
منابع مشابه
Representation of One-One Degrees by n-Cylindrical Decision Problems
While investigating the one-one equivalence between various general combinatorial decision problems, CLEAVE [l] initated the concept of system functions. System functions are defined on natural numbers and their values are finite sets of natural numbers. They have many properties in common with those arising from GodeI numbering various combinatorial systems such as Turing machines, Markov algo...
متن کاملThe one-one equivalence of some general combinatorial decision problems
1. Introduction. A decision problem for a combinatorial system shall denote a pair ($, S) where is a specified kind of decision problem (e.g. derivability problem, halting problem, etc.) and 5 is a combina-torial system. Two decision problems (<£i, Si), ($ 2 , £2) are sa ^d t0 be of the same many-one degree (of unsolvability) if there exist effective many-one mappings ƒ and g such that each...
متن کاملLinear One-to-Many (OTM) system Many degrees of freedom independently actuated by one electric motor
We report on progress on the “One-To-Many” (OTM) concept that allows a single electric motor to store energy in the form of elastic potential energy to drive multiple (e.g. hundred) motor units or independently controlled mechanical degrees of freedom. Critical to this concept is the OTM architecture which utilizes light weight, high-speed, energy efficient, robust, and cost-effective clutches ...
متن کاملSmall-scale Farmers’ Attitude and Problems regarding One House One Farm Approach for their Livelihoods Improvement
Increasing population growth and decreasing land ratio made it difficult for rural people of Bangladesh to maintain their livelihood. Especially the small-scale farmers find it trickier using their scarce resources. One House One Farm approach(OHOF) is designed to utilize the house and farm resources of the small- scale farmers to improve their livelihood. The focus of the study was to determin...
متن کاملA Queueing-Inventory System with Repair Center for Defective Items and One-for-One Ordering Policy
In this paper we consider a system consisting of a supplier with a single processing unit, a repair center, and a retailer with Poisson demand. We assume that the retailer applies one-for-one ordering policy with backorders for his inventory control. The retailer’s orders form a queue in the supplier processing unit. We also assume that a certain fraction of the products produced by the supplie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1982
ISSN: 0022-0000
DOI: 10.1016/0022-0000(82)90033-2